ar X iv : c s / 99 08 00 6 v 1 [ cs . C G ] 1 1 A ug 1 99 9 Computational Geometry Column 36

ar X iv : h ep - e x / 99 08 00 5 v 1 2 A ug 1 99 9 Budker

This report on Photon Colliders briefly reviews three main issues: physics motivation, possible parameters and technical feasibility, plans of works and international cooperation. New scheme of laser optics at the interaction region is described which can drastically (at least by one order) reduce the cost of the laser system.

ar X iv : c s / 06 08 05 9 v 1 [ cs . L O ] 1 4 A ug 2 00 6 A Distribution Law for CCS and a New Congruence Result

We give an axiomatisation of strong bisimilarity on a small fragment of CCS that does not feature the sum operator. This axiomatisation is then used to derive congruence of strong bisimilarity in the finite π-calculus in absence of sum. To our knowledge, this is the only nontrivial subcalculus of the π-calculus that includes the full output prefix and for which strong bisimilarity is a congruence.

ar X iv : h ep - p h / 96 08 24 9 v 1 7 A ug 1 99 6 Non - factorizable Contribution to B K of Order 〈 G 3 〉

Within the Chiral Quark Model we have calculated the effect of non-factorizable G 3 contribution to the BK parameter. When all diagrams are summed, a vanishing result is obtained.

ar X iv : h ep - p h / 99 08 37 7 v 1 1 7 A ug 1 99 9 Matching Heavy Particle Approach to Relativistic Theory

On the simple model of interacting massless and heavy scalar fields it is demonstrated that the technique of heavy baryon chiral perturbation theory reproduces the results of relativistic theory. Explicit calculations are performed for diagrams including two-loops.

ar X iv : a st ro - p h / 96 08 03 6 v 1 8 A ug 1 99 6 TABLE 1 Properties of LMC Double - Mode